One-Pass Key Establishment Protocol for Wireless Roaming with User Anonymity

Key Establishment for Wireless Roaming (KE-WR) is expected to ensure a mobile user to establish a fresh session key with a foreign WSP and also roam from one foreign network domain to another while enjoying the roaming services. However, so far there is no ID-based KE-WR protocol proposed in the literatures with a formal security proof in an appropriate model. The main work of this article address the current gap by first proposing a variation of classic CK and eCK model to support the wireless roaming scenario, which is called rCK model. This article extend classic security model by introducing the simulation of broadcast query and multiple Key Generation Center scenario and also giving the re-defined session definitions and additional adversary capability. Second, this article proposes a novel suite of One-Pass Key Establishment Protocols for Wireless Roaming.